Nominal Typing